501. logic program synthesis and transformation

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Logic programming

رده :
QA
76
.
63
.
L6
1993

502. logic program synthesis and transformation

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Logic programming

رده :
QA
76
.
63
.
L6
1993

503. nonmonotonic and inductive logic:second international workshop,Reinhardbrunn castle,Germany,December 2-6,1991:proceedings/

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Logic programming-congresses

رده :
QA
76
.
63
.
N7
1993

504. Nonmonotonic and inductive logic: second international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic programming-- Congresses,، Artificial intelligence-- Congresses

رده :
QA
76
.
63
.
N67
1993

505. nonmonotonic and inductive logic:second international workshop,Reinhardbrunn castle,Germany,December 2-6,1991:proceedings/

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Logic programming-congresses

رده :
QA
76
.
63
.
N7
1993

506. 6800 programming for logic design

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(

507. programs-as-Adapting proofs

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry

508. year perspective on logic programming-A 25

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Gruppo Ricercatori e Utenti Logic Programming. ; Logic programming. ;